
\begin{tikzpicture}[>=latex,line join=bevel,]
  \pgfsetlinewidth{1bp}
%%
\pgfsetcolor{black}
  % Edge: State4 -> End
  \draw [->] (29.14bp,76.852bp) .. controls (28.495bp,67.295bp) and (27.523bp,52.882bp)  .. (25.989bp,30.157bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (17.911bp,58.639bp) node {a};
  % Edge: State2 -> State3
  \draw [->] (52.018bp,218.99bp) .. controls (51.256bp,208.35bp) and (50.064bp,191.69bp)  .. (48.387bp,168.24bp);
  \draw (40.566bp,198.7bp) node {b};
  % Edge: Begin__precursor__ -> Begin
  \draw [->] (41.721bp,354.81bp) .. controls (43.729bp,345.31bp) and (46.214bp,333.55bp)  .. (50.443bp,313.53bp);
  % Edge: State3 -> State4
  \draw [->] (44.924bp,146.92bp) .. controls (42.316bp,136.63bp) and (38.294bp,120.76bp)  .. (32.581bp,98.217bp);
  \draw (28.993bp,129.46bp) node {b};
  % Edge: Begin -> State2
  \draw [->] (52.882bp,290.28bp) .. controls (52.864bp,279.67bp) and (52.837bp,263.7bp)  .. (52.797bp,240.5bp);
  \draw (42.849bp,270.55bp) node {a};
  % Node: Begin
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (53bp,302bp) ellipse (23bp and 12bp);
  \draw (52.902bp,301.9bp) node {Begin};
\end{scope}
  % Node: End
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (25bp,16bp) ellipse (20bp and 11bp);
  \draw (25bp,16bp) ellipse (24bp and 15bp);
  \draw (25bp,15.5bp) node {End};
\end{scope}
  % Node: State3
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (48bp,158bp) ellipse (25bp and 11bp);
  \draw (47.623bp,157.56bp) node {State3};
\end{scope}
  % Node: State2
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (53bp,230bp) ellipse (25bp and 11bp);
  \draw (52.779bp,229.62bp) node {State2};
\end{scope}
  % Node: State4
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (30bp,87bp) ellipse (25bp and 11bp);
  \draw (29.857bp,87.471bp) node {State4};
\end{scope}
%
\end{tikzpicture}
